#include "device_launch_parameters.h"
//#include "cuPrintf.cuh"

//__device__ static void foo(int i) {
//	cuPrintf("Value is: %d\n", i);
//}

__global__ void addKernel3(int *c, const int *a, const int *b)
{
    int i = threadIdx.x;
    c[i] = a[i] + b[i];
	//foo(i);
}
